Zoran Skoda cs links

f* blockchain, digital identity, patent, computer security, fintech, machine learning, PSD2, substrate, Rust, IoT, TON, smart contract, high performance DLs, Ethereum, bitcoin, EOS, computer security, virtual machine, verified replay, TeX, instiki’s LaTeX symbols * nnLab: computer science, Donald Knuth * stackoverflow * https://toplas.acm.org * linux kernel archive

Languages, compilers, software platforms

C/C++ and alike

Functional languages and proof assistants

JVM languages

Rust

See also Rust and substrate

WebAssembly

Javascript

  • LoopBack Node.js framework for creating REST APIs
  • webpack - open-source JavaScript module bundler. Webpack takes modules with dependencies and generates static assets representing those modules
  • Typescript (optionally strongly typed extension by MS) typescriptlang.org, wikipedia

Some individual pieces of math software

Code repositories

Permanently recurring conferences

Places and people

Education, online collaboration and computers

  • moodle open-source tools for learning
  • WeBWork at Mathematical Association of America
  • PLDI 2008, recommendations on programming language education pdf
  • geogebra.org, wikipedia: geogebra
  • apache openmeetings.apache.org videoconferencing
  • WebRTC webrtc.org, wikipedia:WebRTC open source real-time communication tools for adding to other communications
  • jitsi opensource videoconferencing platform (based on WebRTC)
  • Red5 live streaming platform

Unclassified

Last revised on November 26, 2024 at 18:18:25. See the history of this page for a list of all contributions to it.